legion-symcc.results.Test-Comp22.All – BenchExec results

pthread/queue.yml

.00

.80

.80

120

.24

.24

27

pthread/queue_longer.yml

.00

.81

.81

120

.25

.25

27

pthread/queue_longest.yml

.00

.87

.89

120

.24

.25

27

pthread/queue_ok.yml

.00

.91

.94

120

.24

.24

27

pthread/queue_ok_longer.yml

.00

.87

.89

120

.26

.26

27

pthread/queue_ok_longest.yml

.00

.84

.84

120

.25

.25

27

pthread/stack-1.yml

.00

.83

.86

120

.31

.31

27

pthread/stack-2.yml

.00

.84

.86

120

.25

.25

27

pthread/stack_longer-1.yml

.00

.81

.83

120

.26

.26

27

pthread/stack_longer-2.yml

.00

.79

.81

120

.25

.25

27

pthread/stack_longest-1.yml

.00

.80

.82

120

.26

.26

27

pthread/stack_longest-2.yml

.00

.81

.83

120

.25

.25

27

pthread-atomic/gcd-2.yml

.00

.82

.84

120

.33

.33

27

pthread-atomic/qrcu-1.yml

.00

.87

.87

120

.26

.26

27

pthread-atomic/qrcu-2.yml

.00

.84

.87

120

.31

.31

27

pthread-ext/28_buggy_simple_loop1_vf.yml

.00

.80

.82

120

.24

.24

27

pthread-ext/29_conditionals_vs.yml

.00

.78

.80

120

.24

.24

27

pthread-ext/32_pthread5_vs.yml

.00

.80

.82

120

.32

.32

27

pthread-ext/41_FreeBSD_abd_kbd_sliced.yml

.00

.79

.81

120

.24

.24

27

pthread-ext/45_monabsex1_vs-b.yml

.00

.82

.84

120

.25

.25

27

pthread-ext/47_ticket_lock_hc_backoff_vs.yml

.00

.92

.95

120

.26

.26

27

pthread-ext/48_ticket_lock_low_contention_vs-b.yml

.00

.81

.81

120

.25

.25

27

pthread-lit/fkp2013-1.yml

.00

.82

.85

120

.33

.33

27

pthread-lit/fkp2013-2.yml

.00

.83

.85

120

.27

.27

27

pthread-lit/fkp2013_variant-1.yml

.00

.82

.85

120

.31

.31

27

pthread-lit/fkp2013_variant-2.yml

.00

.80

.81

120

.24

.24

27

ldv-races/race-1_1-join.yml

.00

.82

.83

120

.31

.31

27

ldv-races/race-1_2b-join.yml

.00

.87

.87

120

.24

.24

27

ldv-races/race-1_3b-join.yml

.00

.82

.83

120

.28

.29

27

ldv-races/race-2_1-container_of.yml

.00

.80

.82

120

.25

.25

27

ldv-races/race-2_2b-container_of.yml

.00

.84

.86

120

.34

.35

27

ldv-races/race-2_3b-container_of.yml

.00

.84

.84

120

.26

.26

27

ldv-races/race-2_4b-container_of.yml

.00

.82

.84

120

.24

.24

27

ldv-races/race-2_5b-container_of.yml

.00

.84

.85

120

.24

.24

27

ldv-races/race-3_1-container_of-global.yml

.00

.80

.82

120

.29

.29

27

ldv-races/race-3_2b-container_of-global.yml

.00

.84

.86

120

.29

.29

27

ldv-races/race-4_1-thread_local_vars.yml

.00

.80

.82

120

.28

.28

27

ldv-races/race-4_2-thread_local_vars.yml

.00

.93

1.0

120

.24

.24

27

pthread-complex/bounded_buffer.yml

.00

.86

.89

120

.26

.26

27

pthread-C-DAC/pthread-finding-k-matches.yml

.00

.80

.84

120

.24

.24

27

pthread-C-DAC/pthread-numerical-integration.yml

.00

.85

.85

120

.26

.26

27

pthread-nondet/nondet-array-1.yml

.00

.82

.82

120

.25

.25

27

pthread-nondet/nondet-array-2.yml

.00

.81

.84

120

.27

.27

27

pthread-nondet/nondet-loop-bound-1.yml

.00

.88

.90

120

.25

.25

27

pthread-nondet/nondet-loop-bound-2.yml

.00

.84

.87

120

.28

.28

27

pthread-nondet/nondet-loop-bound-variant-1.yml

.00

.83

.85

120

.28

.28

27

pthread-nondet/nondet-loop-bound-variant-2.yml

.00

.83

.85

120

.26

.27

27

goblint-regression/03-practical_08-nonterm1.yml

.00

.80

.80

120

.26

.26

27

goblint-regression/04-mutex_06-ps_rc.yml

.00

.80

.81

120

.25

.25

27

goblint-regression/04-mutex_07-ps_nr.yml

.00

.79

.81

120

.25

.25

27

goblint-regression/04-mutex_16-ps_add1_rc.yml

.00

.82

.83

120

.31

.31

27

goblint-regression/04-mutex_17-ps_add1_nr.yml

.00

.89

.92

120

.25

.25

27

goblint-regression/04-mutex_18-glob_guards.yml

.00

.78

.81

120

.25

.25

27

goblint-regression/04-mutex_23-sound_unlock.yml

.00

.81

.83

120

.24

.24

27

goblint-regression/04-mutex_24-sound_lock.yml

.00

.95

.95

120

.26

.26

27

goblint-regression/05-lval_ls_13-idxunknown_lock.yml

.00

.79

.79

120

.24

.25

27

goblint-regression/05-lval_ls_14-idxunknown_access.yml

.00

.79

.82

120

.28

.28

27

goblint-regression/05-lval_ls_15-fldunknown_access.yml

.00

.78

.82

120

.23

.23

27

goblint-regression/05-lval_ls_16-idxunknown_unlock.yml

.00

.85

.88

120

.24

.24

27

goblint-regression/06-symbeq_06-tricky_address1.yml

.00

.82

.84

120

.25

.25

27

goblint-regression/06-symbeq_07-tricky_address2.yml

.00

.78

.80

120

.24

.24

27

goblint-regression/06-symbeq_08-tricky_address3.yml

.00

.88

.90

120

.24

.24

27

goblint-regression/06-symbeq_09-tricky_address4.yml

.00

.82

.85

120

.26

.26

27

goblint-regression/06-symbeq_10-equ_rc.yml

.00

.81

.82

120

.25

.25

27

goblint-regression/06-symbeq_11-equ_nr.yml

.00

.86

.86

120

.25

.25

27

goblint-regression/06-symbeq_13-equ_proc_nr.yml

.00

.80

.82

120

.24

.24

27

goblint-regression/09-regions_05-ptra_rc.yml

.00

.80

.82

120

.25

.25

27

goblint-regression/09-regions_09-arraylist.yml

.00

.80

.83

120

.34

.34

27

goblint-regression/09-regions_10-arraylist_rc.yml

.00

.80

.81

120

.28

.28

27

goblint-regression/09-regions_11-arraylist_nr.yml

.00

.78

.80

120

.26

.26

27

goblint-regression/09-regions_12-arraycollapse_rc.yml

.00

.81

.83

120

.25

.25

27

goblint-regression/09-regions_13-arraycollapse_nr.yml

.00

.82

.83

120

.24

.24

27

goblint-regression/09-regions_18-nested_rc.yml

.00

.80

.83

120

.33

.33

27

goblint-regression/09-regions_19-nested_nr.yml

.00

.81

.84

120

.27

.27

27

goblint-regression/09-regions_20-arrayloop2_rc.yml

.00

.80

.83

120

.27

.27

27

goblint-regression/09-regions_21-arrayloop2_nr.yml

.00

.82

.85

120

.29

.29

27

goblint-regression/09-regions_22-nocollapse.yml

.00

.81

.81

120

.24

.24

27

goblint-regression/09-regions_23-evilcollapse_rc.yml

.00

.82

.83

120

.24

.25

27

goblint-regression/09-regions_24-evilcollapse_nr.yml

.00

.83

.83

120

.25

.25

27

goblint-regression/28-race_reach_03-munge_racing.yml

.00

.82

.84

120

.25

.25

27

goblint-regression/28-race_reach_04-munge_racefree.yml

.00

.81

.84

120

.24

.24

27

goblint-regression/28-race_reach_06-cond_racing1.yml

.00

1.0

1.0

120

.25

.25

27

goblint-regression/28-race_reach_07-cond_racing2.yml

.00

.84

.86

120

.24

.24

27

goblint-regression/28-race_reach_08-cond_racefree.yml

.00

.81

.83

120

.23

.23

27

goblint-regression/28-race_reach_09-ptrmunge_racing.yml

.00

.82

.85

120

.25

.25

27

goblint-regression/28-race_reach_10-ptrmunge_racefree.yml

.00

.84

.86

120

.27

.27

27

goblint-regression/28-race_reach_23-sound_unlock_racing.yml

.00

.88

.90

120

.24

.24

27

goblint-regression/28-race_reach_24-sound_lock_racing.yml

.00

.79

.81

120

.25

.25

27

goblint-regression/28-race_reach_70-funloop_racefree.yml

.00

.81

.83

120

.24

.24

27

goblint-regression/28-race_reach_71-funloop_racing.yml

.00

.89

.90

120

.24

.24

27

goblint-regression/28-race_reach_72-funloop_hard_racing.yml

.00

.79

.81

120

.26

.26

27

goblint-regression/28-race_reach_73-funloop_hard_racefree.yml

.00

.89

.91

120

.24

.24

27

goblint-regression/28-race_reach_74-tricky_address1_racefree.yml

.00

.93

.95

120

.23

.23

27

goblint-regression/28-race_reach_75-tricky_address2_racefree.yml

.00

.83

.86

120

.26

.26

27

goblint-regression/28-race_reach_76-tricky_address3_racefree.yml

.00

.82

.82

120

.26

.26

27

goblint-regression/28-race_reach_77-tricky_address4_racing.yml

.00

.82

.84

120

.25

.25

27

goblint-regression/28-race_reach_78-equ_racing.yml

.00

.90

.95

120

.25

.25

27

goblint-regression/28-race_reach_79-equ_racefree.yml

.00

.80

.82

120

.24

.24

27

goblint-regression/28-race_reach_81-list_racing.yml

.00

.82

.84

120

.24

.24

27

goblint-regression/28-race_reach_82-list_racefree.yml

.00

.81

.83

120

.25

.25

27

goblint-regression/28-race_reach_83-list2_racing1.yml

.00

.89

.92

120

.31

.31

27

goblint-regression/28-race_reach_84-list2_racing2.yml

.00

.81

.81

120

.24

.24

27

goblint-regression/28-race_reach_85-list2_racefree.yml

.00

.83

.84

120

.25

.25

27

goblint-regression/28-race_reach_86-lists_racing.yml

.00

.81

.83

120

.25

.26

27

goblint-regression/28-race_reach_87-lists_racefree.yml

.00

.90

.92

120

.26

.26

27

goblint-regression/28-race_reach_90-arrayloop2_racing.yml

.00

.84

.86

120

.26

.26

27

goblint-regression/28-race_reach_91-arrayloop2_racefree.yml

.00

.86

.87

120

.24

.24

27

goblint-regression/28-race_reach_92-evilcollapse_racing.yml

.00

.81

.84

120

.28

.28

27

goblint-regression/28-race_reach_93-evilcollapse_racefree.yml

.00

.80

.82

120

.25

.25

27

goblint-regression/28-race_reach_94-alloc_region_racing.yml

.00

.88

.88

120

.24

.25

27

reducercommutativity/avg.yml

.111

58

56

540

11.1

.80

.97

54

reducercommutativity/sum.yml

.111

5.7

5.6

530

11.1

.76

.92

54

float-benchs/mea8000.yml

.00

.85

.90

120

.26

.26

27

heap-manipulation/dancing.yml

.792

1.8

1.7

120

79.2

2.3

3.5

54

loops/linear_sea.ch.yml

.1

13

13

560

10.0

.68

.86

55

loop-crafted/simple_array_index_value_4.i.v+lhb-reducer.yml

.484

78

78

4000

48.4

1.8

2.6

55

loop-crafted/simple_array_index_value_4.i.v+nlh-reducer.yml

.321

34

34

3200

32.1

1.5

2.1

55

loop-invgen/apache-get-tag.i.p+nlh-reducer.yml

.00

.74

.78

120

.25

.25

27

loop-invgen/apache-get-tag.i.p+sep-reducer.yml

.00

.73

.75

120

.27

.27

27

loop-invgen/id_build.i.p+nlh-reducer.yml

.00

.78

.80

120

.26

.26

27

verifythis/tree_del_iter_incorrect.yml

.0

13

13

250

.0

1.8

3.8

55

nla-digbench-scaling/fermat1-ll_valuebound50.yml

.00

100

99

120

.33

.33

27

product-lines/email_spec1_product15.cil.yml

.287

620

610

2900

28.7

130

190

83

product-lines/email_spec9_product34.cil.yml

.363

620

610

2900

36.3

120

190

83

verifythis/tree_del_rec_incorrect.yml

.0

29

29

1000

.0

2.7

5.9

55

seq-mthreaded/pals_floodmax.3.1.ufo.BOUNDED-6.pals.yml

.00

2.7

2.7

120

.29

.29

27

seq-mthreaded/pals_floodmax.3.2.ufo.BOUNDED-6.pals.yml

.00

2.5

2.5

120

.25

.25

27

seq-mthreaded/pals_floodmax.3.2.ufo.UNBOUNDED.pals.yml

.00

1.2

1.2

120

.25

.25

27

seq-mthreaded/pals_floodmax.3.3.ufo.BOUNDED-6.pals.yml

.00

2.8

2.7

120

.24

.24

27

seq-mthreaded/pals_floodmax.3.4.ufo.BOUNDED-6.pals.yml

.00

2.5

2.4

120

.26

.27

27

seq-mthreaded/pals_floodmax.3.ufo.BOUNDED-6.pals.yml

.00

1.5

1.4

120

.26

.26

27

seq-mthreaded/pals_floodmax.4.1.ufo.BOUNDED-8.pals.yml

.00

2.4

2.4

120

.25

.25

27

seq-mthreaded/pals_floodmax.4.2.ufo.BOUNDED-8.pals.yml

.00

2.6

2.6

120

.25

.25

27

seq-mthreaded/pals_floodmax.4.3.ufo.BOUNDED-8.pals.yml

.00

3.6

3.6

120

.25

.25

27

seq-mthreaded/pals_floodmax.4.4.ufo.BOUNDED-8.pals.yml

.00

2.4

2.4

120

.30

.30

27

seq-mthreaded/pals_floodmax.4.ufo.BOUNDED-8.pals.yml

.00

1.9

1.9

120

.26

.26

27

seq-mthreaded/pals_floodmax.5.1.ufo.BOUNDED-10.pals.yml

.00

3.4

3.4

140

.24

.24

27

seq-mthreaded/pals_floodmax.5.2.ufo.BOUNDED-10.pals.yml

.00

1.9

1.9

140

.23

.24

27

seq-mthreaded/pals_floodmax.5.3.ufo.BOUNDED-10.pals.yml

.00

1.9

1.9

140

.25

.25

27

seq-mthreaded/pals_floodmax.5.4.ufo.BOUNDED-10.pals.yml

.00

4.1

4.0

140

.26

.26

27

seq-mthreaded/pals_floodmax.5.ufo.BOUNDED-10.pals.yml

.00

4.7

4.6

140

.26

.26

27

seq-mthreaded/pals_opt-floodmax.3.1.ufo.BOUNDED-6.pals.yml

.00

2.0

2.0

120

.25

.25

27

seq-mthreaded/pals_opt-floodmax.3.2.ufo.BOUNDED-6.pals.yml

.00

2.5

2.5

120

.30

.30

27

seq-mthreaded/pals_opt-floodmax.3.3.ufo.BOUNDED-6.pals.yml

.00

1.7

1.7

120

.28

.29

27

seq-mthreaded/pals_opt-floodmax.3.4.ufo.BOUNDED-6.pals.yml

.00

1.5

1.5

120

.27

.27

27

seq-mthreaded/pals_opt-floodmax.3.ufo.BOUNDED-6.pals.yml

.00

1.6

1.6

120

.24

.24

27

seq-mthreaded/pals_opt-floodmax.4.1.ufo.BOUNDED-8.pals.yml

.00

3.5

3.4

120

.28

.28

27

seq-mthreaded/pals_opt-floodmax.4.2.ufo.BOUNDED-8.pals.yml

.00

2.5

2.5

120

.26

.26

27

seq-mthreaded/pals_opt-floodmax.4.3.ufo.BOUNDED-8.pals.yml

.00

1.8

1.8

120

.28

.29

27

seq-mthreaded/pals_opt-floodmax.4.4.ufo.BOUNDED-8.pals.yml

.00

2.1

2.1

120

.31

.31

27

seq-mthreaded/pals_opt-floodmax.4.ufo.BOUNDED-8.pals.yml

.00

3.1

3.1

120

.24

.24

27

seq-mthreaded/pals_opt-floodmax.5.1.ufo.BOUNDED-10.pals.yml

.00

3.7

3.7

140

.28

.28

27

seq-mthreaded/pals_opt-floodmax.5.2.ufo.BOUNDED-10.pals.yml

.00

2.0

2.0

140

.25

.25

27

seq-mthreaded/pals_opt-floodmax.5.3.ufo.BOUNDED-10.pals.yml

.00

4.9

4.8

140

.26

.26

27

seq-mthreaded/pals_opt-floodmax.5.4.ufo.BOUNDED-10.pals.yml

.00

2.5

2.5

140

.26

.26

27

seq-mthreaded/pals_opt-floodmax.5.ufo.BOUNDED-10.pals.yml

.00

3.2

3.2

140

.24

.24

27

termination-memory-alloca/a.10-alloca.yml

.00

43

43

3600

.27

.28

27

Previous

Pageof 1

Next

BenchExec